Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
401	Regular Functions Rajeev Alur University of Pennsylvania 1 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-10-13 10:13:47 Theoretical computer science Mathematics Combinatorics on words Models of computation Finite state transducer Finite-state machine Regular expression Regular language String Formal languages Automata theory Combinatorics
402	Graph Logics with Rational Relations and the Generalized Intersection Problem Pablo Barcel´o Diego Figueira Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-04-27 14:07:03 Formal languages Metalogic Computability theory Automata theory Model theory Structure Regular language Decision problem Reduction Theoretical computer science Mathematics Applied mathematics
403	Direct Construction of Compact Context-Dependency Transducers From Data David Rybach∗ Michael Riley Human Language Technology Add to Reading List Source URL: wiki.inf.ed.ac.uk Language: English - Date: 2010-11-05 06:38:47 Finite state transducer Finite-state machine Speech recognition Computer science Mathematical optimization Applied mathematics Computing Automata theory Models of computation Computational linguistics
404	MoChArt 2005 Preliminary Version Incremental Verification for On-the-Fly Controller Synthesis David J. Musliner and Michael J. S. Pelican 1,2 Honeywell Laboratories Add to Reading List Source URL: rpgoldman.goldman-tribe.org Language: English - Date: 2009-08-06 12:04:58 Computer science Applied mathematics Formal verification Model checking Deterministic finite automaton Nondeterministic finite automaton State transition system Models of computation Automata theory Theoretical computer science
405	Recurrent Reachability Analysis in Regular Model Checking Anthony Widjaja To and Leonid Libkin LFCS, School of Informatics, University of Edinburgh anthony.w.to, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-09-22 08:03:38 Computer science Applied mathematics Tree automaton Regular language Ω-automaton Automata theory Formal languages Theoretical computer science
406	Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization ∗ Marcelo Arenas Departamento de Ciencia de la Computaci´on Pontificia Universidad Cat´olica de Chile Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-09-27 14:57:55 Logic Theoretical computer science Nested word Muller automaton Model theory Tree Finite-state machine Structure Alphabet Automata theory Formal languages Mathematics
407	Regular Path Queries on Graphs with Data ∗ Leonid Libkin Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-04-04 06:11:44 Mathematics Applied mathematics Regular expression Regular language FO Star height Formal languages Automata theory Theoretical computer science
408	Curriculum Vitae of Uriel Feige Contact Information Department of Computer Science and Applied Mathematics The Weizmann Institute of Science Rehovot 76100, ISRAEL Phones (office), (cell) Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2015-01-01 11:38:31 Computational complexity theory Complexity classes Approximation algorithm NP-complete ACM SIGACT European Symposium on Algorithms International Colloquium on Automata Languages and Programming Uriel Feige Algorithm Theoretical computer science Applied mathematics Computer science
409	Ilya Razenshteyn Resear interests Geometric algorithms, high-dimensional geometry, metric embeddings, streaming algorithms, compressive sensing, combinatorial optimization. Education 2012–now Add to Reading List Source URL: www.ilyaraz.org Language: English - Date: 2015-02-04 14:20:16 Theoretical computer science Symposium on Theory of Computing Hash function Piotr Indyk Nearest neighbor search International Colloquium on Automata Languages and Programming Streaming algorithm Information science Search algorithms Mathematics
410	NIH Public Access Author Manuscript Curr Dir Psychol Sci. Author manuscript; available in PMC 2008 December 10. NIH-PA Author Manuscript Add to Reading List Source URL: www.ncbi.nlm.nih.gov Language: English Philosophy of science Causality Automata theory Cognitive science Behaviorism Finite-state machine Four causes Classical conditioning A New Kind of Science Science Philosophy Ethology

UPDATE